1. A Proof Theory for Description Logics
Author: / Alexandre Rademaker
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
Classification :
E-BOOK
2. Proof Theory for General Unification
Author: \ Wayne Snyder
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Automatic theorem proving
Classification :
E-Book
,
3. A first course in logic :an introduction to model theory, proof theory, computability, and complexity
Author: Hedman, Shawn.
Library: Library of Mofid University (Qom)
Subject: ، Logic,، Logic, Symbolic and mathematical
Classification :
QA9
.
H36
2004
4. A first course in logic : an introduction to model theory, proof theory, computability, and complexity
Author: Hedman, Shawn
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic,، Logic, Symbolic and mathematical
Classification :
QA
9
.
H43F5
5. A proof theory for general unification
Author: / Wayne Snyder,Snyder
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Automatic theorem proving
Classification :
QA
76
.
9
.
A96S6
1991
6. A proof theory for general unification
Author: Snyder, Wayne, 5591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving
Classification :
QA
76
.
9
.
A96S6
7. Advances in Proof Theory
Author: \ Reinhard Kahle, Thomas Strahm, Thomas Studer Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Proof theory -- Congresses.
Classification :
E-Book
,
8. Advances in proof theory
Author: Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Proof theory
Classification :
QA
9
.
54
.
A39
9. An introduction to mathematical logic and type theory: to truth through proof
Author: Andrews, P. B. )Peter Bruce(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Type theory
Classification :
QA
9
.
A638
2002
10. An introduction to mathematical logic and type theory : to truth through proof
Author: Andrews, Peter Bruce
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Type theory
Classification :
QA
9
.
A638
1986
11. An introduction to mathematical logic and type theory. to truth through proof
Author: Andrews, P. B.)Peter Bruce(,7391-, Peter B. Andrews
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Logic, Symbolic and mathematical,، Type theory
Classification :
QA
9
.
A638
12. An introduction to mathematical logic and type theory: to truth through proof
Author: Andrews, Peter Bruce
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Type theory
Classification :
QA
9
.
A638
13. Applied proof theory: proof interpretations and their use in mathematics
Author: Kohlenbach, U. )Ulrich(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Proof theory,، Approximation theory,، Nonlinear operators,، Automatic theorem proving
Classification :
QA
9
.
54
.
K64
2008
14. Arithmetic, Proof theory and computational complexity
Author: edited by Peter Clote and Jan Krajicek
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Computational complexity
Classification :
QA
9
.
54
.
A75
15. Basic proof theory
Author: Troelstra, Anne Sjerp
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
T73
2000
16. Basic proof theory
Author: Troelstra, Anne Sjerp
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
T73
17. Basic proof theory
Author: A.S. Troelstra, H. Schwichtenberg,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Proof theory
Classification :
QA
.
T76
9
.
54
1996
18. Basic proof theory /
Author: Troelstra, A. S. )Anne Sjerp(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
T76
2000
19. Combinators, [lambda]-Terms and Proof Theory
Author: by Sören Stenlund.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy (General)
20. Combinators, -terms and proof theory
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Proof theory,Combinatory logic
Classification :
QA9
.
S753
